Métodos Formais em Engenharia de Software
Mestrado Integrado em Engenharia Informática - MFES 2020/2021
Cancel
Search
:
^e
Education/MFES Web
Changed
Changed by
EM
29 Oct 2020 - 12:53 - r10
AlcinoCunha
Especificação e Modelação (H507O2) Programa Lógicas para especificação e modelação Lógica de primeira ordem Lógica relacional Lógica ...
EquipaDocente
22 Sep 2020 - 15:25 -
NEW
JoseNunoOliveira
Equipa docente Soares Barbosa Alcino Cunha João Frade Nuno Macedo Nuno Oliveira Sousa Pinto Alexandre ...
Found
2
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM